0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Theorem Proving" - alle Bücher

    Ihre Suche nach "Theorem Proving" (Bücher) ergab 6 Treffer.

    Ansicht:

    Automated Reasoning with Analytic Tableaux and Related Methods

    Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science - Band 15980

    This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

    lieferbar ab 7.11.2025.
    Buch
    Aktueller Preis: EUR 43,80

    Frontiers of Combining Systems

    Lecture Notes in Computer Science - Band 15979, Lecture Notes in Artificial Intelligence

    This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    David A. Cox, John Little, Donal O'Shea
    Ideals, Varieties, and Algorithms

    Preface.- Notation for Sets and Functions.- 1 Geometry, Algebra, and Algorithms.- 2 Groebner Bases.- 3 Elimination Theory.- 4 The Algebra-Geometry Dictionary.- 5 Polynomial and Rational Functions on a Var…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 85,33

    Model Checking Software

    Lecture Notes in Computer Science - Band 15945

    This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

    lieferbar ab 8.11.2025.
    Buch
    Aktueller Preis: EUR 63,51

    Nicholas M Katz, Pham Huu Tiep
    Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

    An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fieldsExponential sums have been of great interest ever since Gauss, and their impor…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 95,98

    Nicholas M Katz, Pham Huu Tiep
    Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

    An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fieldsExponential sums have been of great interest ever since Gauss, and their impor…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 210,28
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.